* trampver.texi: Update release number.
authorMichael Albinus <michael.albinus@gmx.de>
Mon, 7 Oct 2013 12:48:18 +0000 (14:48 +0200)
committerMichael Albinus <michael.albinus@gmx.de>
Mon, 7 Oct 2013 12:48:18 +0000 (14:48 +0200)
commit10e6d8dea22bab09641ee22947de93e9ecc86a31
tree8f914cc4f9827f615c851d7b747f55f922d81968
parent099756551c7cfe3c35157c4ac5cf8c1490422bde
* trampver.texi: Update release number.
doc/misc/ChangeLog
doc/misc/trampver.texi